// Base.h
// This is copied to the other *.h headers.
#include <os.h>

